We prove that for a natural class of first-order formulas the validity problem is Π p 2 -complete.

Kant describes logic as “the science that exhaustively presents and strictly proves nothing but the formal rules of all thinking”. (Bviii-ix) But what is the source of our cognition of such rules (“logical cognition” for short)? He makes no concerted effort to address this question. It will nonetheless become clear that the question is a philosophically significant one for him, to which he can see three possible answers: those representations are innate, derived from experience, or originally acquired a priori. Although (...) he gives no explicit argument for the third answer, he seems committed to it—especially given his views on the source of pure concepts of the understanding and on the nature of logic. It takes careful preparatory work to gather all the essential materials for motivating and reconstructing Kant’s “original acquisition” account of logical cognition. I shall proceed in two sections. In section 1, I analyze Kant’s argument that pure concepts of the understanding (or intellectual concepts)—as one kind of pure cognition—must be acquired originally and a priori. My analysis partly concerns his varied attitudes toward Crusius’s and Leibniz’s versions of the nativist account of such concepts. I give special attention to how Kant characterizes the nativist account and his own “original acquisition” account in terms of “preformation” and “epigenesis”. My goal is, firstly, to tease out the sense in which Kant grants that there must be an innate ground (or preformation) for the derivation of pure concepts and, secondly, to introduce—and pave the way for answering—the question about the source of logical cognition. In section 2, in light of Kant’s reference to Locke and Leibniz as the greatest reformers of philosophy (including logic) in their times (Log, AA 9: 32), I examine the Lockean and Leibnizian approaches to logic, respectively. Both approaches are “physiological” by Kant’s standard and are directly opposed to his own strictly critical method. I explain how this methodological move shapes Kant’s view that representations of logical rules must be originally acquired a priori. This acquisition involves a kind of radical epigenesis of pure reason: unlike the acquisition of pure concepts, it presupposes no further innate ground (or preformation). This view will have important consequences for issues such as the ground of the normativity of logical rules and the boundaries of their rightful use. (shrink)

The contemporary versions of the ontological argument originated from Charles Hartshorne are formalized proofs (in the metalogical sense of the word) based on unique modal theories. The simplest well-known theory of this kind arises from the system B of modal logic by adding two extra-logical axioms: (AA) “If the perfect being exists, then it necessarily exists” (Anselm’s Axiom) and (AL) “It is possible that the perfect being exists” (Leibniz’s Axiom). In the paper a similar argument is presented, however none of (...) the systems of modal logic is relevant to it. Its only premises are the axiom (AA) and, instead of (AL), the new axiom (AN): “If the perfect being doesn’t exist, it necessarily doesn’t”. The main goal of the work is to prove that (AN) is no more controversial than (AA) and — in consequence — the whole strength of the modal ontological argument lays in the set of its extra-logical premises. In order to do that, three arguments are formulated: ontological, “cosmo­logical” and metalogical. (shrink)

In this paper I develop an account of member obligation: the obligations that fall on the members of an obligated collective in virtue of that collective obligation. I use this account to argue that unorganized collections of individuals can constitute obligated agents. I argue first that, to know when a collective obligation entails obligations on that collective’s members, we have to know not just what it would take for each member to do their part in satisfying the collective obligation, but (...) also what they should do if they cannot do their part because others will not do theirs. I go on to argue (contra recent proposals) that it is not good enough for members in this situation to reasonably believe that others will not do their part. Rather, for a member of an obligated collective to permissibly escape doing her part in a collective obligation, she must both reasonably doubt that others will do their part and stand ready to act in case others do as well. -/- This necessary condition for collective obligation points the way to plausible sufficient conditions – conditions that, I argue, allow unstructured collectives to bear obligations. For (a) if a collective’s members are individually obligated to be ready to do their part, in a given collective action, and (b) if that individual readiness makes it sufficiently likely that the collective will in fact act, then it is hard to see what could block an attribution of collective obligation. In particular, in that case there ought to be no additional objection that there is no existing, organized “agent” on which the obligation might fall. For agents are, simply, things that can act. To be able to act is just to be able to succeed by trying. Unstructured collectives try to do something, I argue, when each member acts on their willingness to do their part in that thing if others do theirs; sometimes they succeed, producing a collective action. Some unstructured collectives, therefore, can succeed by trying; therefore, they can act; therefore they are agents. (shrink)

What makes something a part of my body, for moral purposes? Is the body defined naturalistically: by biological relations, or psychological relations, or some combination of the two? This paper approaches this question by considering a borderline case: the status of prostheses. I argue that extant accounts of the body fail to capture prostheses as genuine body parts. Nor, however, do they provide plausible grounds for excluding prostheses, without excluding some paradigm organic parts in the process. I conclude by suggesting (...) that embodiment is moralized all the way down: to be a body part is to be the sort of thing that ought to be protected, in a certain way, by social practices. (shrink)

Many powerful logics exist today for reasoning about multi-agent systems, but in most of these it is hard to reason about an infinite or indeterminate number of agents. Also the naming schemes used in the logics often lack expressiveness to name agents in an intuitive way.To obtain a more expressive language for multi-agent reasoning and a better naming scheme for agents, we introduce a family of logics called term-modal logics. A main feature of our logics is the use of modal (...) operators indexed by the terms of the logics. Thus, one can quantify over variables occurring in modal operators. In term-modal logics agents can be represented by terms, and knowledge of agents is expressed with formulas within the scope of modal operators. (shrink)

Technological measures meant to change sexual orientation are, we have argued elsewhere, deeply alarming, even and indeed especially if they are safe and effective. Here we point out that this in part because they produce a distinctive kind of ‘clinical collective action problem’, a sort of dilemma for individual clinicians and researchers: a treatment which evidently relieves the suffering of particular patients, but in the process contributes to a practice that substantially worsens the conditions that produce this suffering in the (...) first place. We argue that the role obligations of clinicians to relieve the suffering of their patients put them in a poor position to solve this problem, though they can take measures to avoid complicity in the harms that would result from widespread use of individually safe and effective reorientation biotechnology. But in the end the medical community as a whole still seems obligated to provide these measures, if they become technologically feasible. Medical researchers are in a better position to prevent the harms that would result if reorientation techniques were safe, effective and widely available. We argue that the harms attendant on the development of safe and effective re-orientation techniques give researchers reason to avoid ‘applied‘ research aimed at developing these techniques, and to be careful in the conduct of basic orientation research which might be applied in this way. (shrink)

In The Minority Body, Elizabeth Barnes rejects prevailing social constructionist accounts of disability for two reasons. First, because they understand disability in terms of oppressive social responses to bodily impairment, they cannot make sense of disability pride. Second, they maintain a problematic distinction between impairment and disability. In response to these challenges, this paper defends a version of the social model of disability, which we call the Social Exclusion Model. On our account, to be disabled is to be in a (...) bodily or psychological state that is represented as an impairment in the prevailing ideology of one’s society, and to be excluded from valuable activities on the basis of this representation. While this model refers to a distinction between disability and impairment, it makes no presuppositions about which bodies function ‘normally’ and which do not. It is the ideology of impairment rather than impairment itself that does any work to determine whether a person is disabled. We argue that this model answers some of the important objections that Barnes raises against prevailing social constructionist accounts of disability, and that it’s focus on the oppressive social positioning of disabled people gives it explanatory power that Barnes’s own account lacks. (shrink)

In some views, philosophy’s glory days in bioethics are over. While philosophers were especially important in the early days of the field, so the argument goes, the majority of the work in bioethics today involves the “simple” application of existing philosophical principles or concepts, as well as empirical work in bioethics. Here, we address this view head on and ask: What is the role of philosophy in bioethics today? This paper has three specific aims: (1) to respond to skeptics and (...) make the case that philosophy and philosophers still have a very important and meaningful role to play in contemporary bioethics, (2) to discuss some of the current challenges to the meaningful integration of philosophy and bioethics, and (3) to make suggestions for what needs to happen in order for the two fields to stay richly connected. We outline how bioethics center directors, funders, and philosopher bioethicists can help. (shrink)

This paper argues that disabled people can be healthy. I argue, first, following the well-known ‘social model of disability’, that we should prefer a usage of ‘disabled’ which does not imply any kind of impairment that is essentially inconsistent with health. This is because one can be disabled only because limited by false social perception of impairment and one can be, if impaired, disabled not because of the impairment but rather only because of the social response to it. Second, I (...) argue that it is often wrong to use the term ‘healthy’ in a way that makes health inconsistent with any degree whatsoever of health-relevant bodily dysfunction. Whether someone is ‘healthy’ properly-so-called depends on standards of health presupposed in conversational context. Sometimes, I argue, these standards are or ought to be lax enough to allow some people with some health deficits still to count as ‘healthy’ per se. Taking inspiration from David Lewis and Mary Kate Mcgowan, I go on to argue that denying that someone is ‘healthy’ in a context typically succeeds in shifting going presuppositions to require standards strict enough to make that denial acceptable. And this, I conclude by arguing, often constitutes an abuse of conversational power. (shrink)

Disconnecting a patient from artificial life support, on their request, is often if not always a matter of letting them die, not killing them—and sometimes, permissibly doing so. Stopping a patient’s heart on request, by contrast, is a kind of killing, and rarely if ever a permissible one. The difference seems to be that procedures of the first kind remove an unwanted external support for bodily functioning, rather than intervening in the body itself. What should we say, however, about cases (...) at the boundary—procedures involving items that seem bodily in some respects, but not others? When, for instance, does deactivating an implanted device like a pacemaker count as killing, and when as letting die? Contra existing proposals, I argue that the boundaries of the body for this purpose are not drawn at the boundaries of the self, or (if this is different) the human organism. Nor should we determine when we are killing and when we are letting die by deferring to existing practices for distinguishing ongoing from completed treatment. Rather, I argue that whether something (organic or inorganic) counts as body part for purposes of this distinction depends on the results of a normative analysis of the particular character of our rights in it—particularly, whether and in what way these rights ought to be alienable. I conclude by arguing that there are likely good reasons to recognize distinctively “bodily” rights and restrictions in at least some implantable devices. (shrink)

This article asks whether personal ventilators should be redistributed to maximize lives saved in emergency condition, like the COVID-19 pandemic. It begins by examining extant claims that items like ventilators are literally parts of their user’s bodies. Arguments in favor of incorporation for ventilators fail to show that they meet valid sufficient conditions to be body parts, but arguments against incorporation also fail to show that they fail to meet clearly valid necessary conditions. Further progress on this issue awaits clarification (...) of difficult normative, conceptual, and metaphysical questions about the possible boundaries of a person’s body. Rather than relying solely on incorporation arguments, we propose an argument against reallocation from widely accepted anti-discrimination principles. Possession of a personal ventilator is an obvious marker of disability identity; thus, reallocating ventilators from those that already possess them discriminates on the basis of a stigmatized trait – a paradigm case of presumptively wrongful discrimination. This discrimination claim, taken together with uncertainty about the bodily status of ventilators, yields a strong presumption against personal ventilator reallocation. (shrink)

Soviet work and family kollektives were the substance of official public life in Soviet Russia. Beginning in the late 1950s, gradually from both private and privatized official settings and differentiating from them, the informal public sphere emerged-the sphere of social practices, regulated by the unwritten codes of everyday moral economy.

This paper argues for Serious Distributive Egalitarianism – the view that some material inequalities are seriously objectionable as such; not merely, say, because such inequalities tend to generate inequalities in status. Social justice requires equality, I argue, because basic social institutions produce important goods and are produced in turn by the relevantly equal contributions of all those that comply with them. E.g., basic social institutions make it much easier to produce cooperatively than it would be in their absence; therefore, these (...) institutions produce, among other things, opportunities to participate in particular productive enterprises. But basic social institutions are themselves produced, in large part, by the compliance of those subject to them; these subjects, therefore, contribute to the production of the goods that basic institutions produce. This gives (at least) every compliant subject of basic social institutions a claim on these goods. And, I argue that, though some do contribute more to the maintenance of basic institutions than others, those who contribute more are too responsible for the fact that others contribute less to point to the consequences of this difference as a reason they should get greater returns. I conclude that all subjects of basic social institutions have equally forceful and forcefully equal claims on the goods these institutions produce; claims that render inequalities in the Distribution of these goods Seriously objectionable as such. (shrink)

I argue here that our rights in our bodies are not well explained by self-ownership – and thus, also, that we cannot infer any further distributive implications of self-ownership from intuitions about body rights via inference to the best explanation. And I sketch an alternative view, on which we do indeed own our bodies, but not because we own ourselves. Self-ownership, I argue, provides a satisfying explanation only if we take it seriously: not as a mere metaphor, but as an (...) expression of a literal, reflexive ownership relation between me and myself, whatever I myself am. I go on to canvas the most prominent theories of what human beings like me literally are, arguing that each of these theories makes it hard to see how our self-ownership can ground our rights in our bodies. In the second half I consider and refine alternative, interest-based, explanations of our rights in our bodies, drawing on suggestions in this direction from Kasper Lippert-Rasmussen and Alan Wertheimer. I show how it is possible in principle to affirm that body ownership rights remain (in a sense) natural rights, even on the sort of interest-based view of ownership that many (including myself) take to preclude all or most fully natural property rights. I argue that many body rights can be grounded prefiguratively, in facts about the possible emergence of sufficiently just authority-assigning practices, rather than (as with most property rights) in their actual existence. Finally, I return to the distributive issues that motivated much interest in self-ownership in the first place – particularly, the question of whether and in what way our rights in our bodies generate rights in other things, by labor or otherwise. Without actually answering this question, I show how the account developed here would proceed in doing so: not by positing body rights as a methodologically prior constraint on rights of other kinds, but rather by considering the implications entire systems of rights and duties have for the interests of those who possess and are bound by them. (shrink)

The literature on the determination of death has often if not always assumed that the concept of human death should be defined in terms of the end of the human organism. I argue that this broadly biological conceptualization of human death cannot constitute a basis for agreement in a pluralistic society characterized by a variety of reasonable views on the nature of our existence as embodied beings. Rather, following Robert Veatch, I suggest that we must define death in moralized terms, (...) as the loss of an especially significant sort of moral standing. Departing from Veatch, however, I argue that we should not understand death in terms of the loss of all moral status whatsoever. Rather, I argue, what we should argue about, when we argue about death, is when and why people lose their rights-claims to the protection and promotion of their basic bodily functioning. (shrink)

The social model of disability claims that disadvantage from disability is primarily a result of the social response to bodily difference. Social modellers typically draw two normative conclusions: first, that society has a responsibility to address disability disadvantage as a matter of justice, not charity; second, that the appropriate way of addressing this disadvantage is to change social institutions themselves, to better fit for bodily difference, rather than to normalize bodies to fit existing institutions. This paper offers a qualified defense (...) of both inferences. Social institutions have reasons of justice to fix disability disadvantage, because the choice of institutions that contingently favor those whose bodies are statistically typical incurs responsibilities to compensate those who disfavored, in that choice. Among other things, this responsibility implies that societies should not simultaneously materially disadvantage disabled people, and also withhold symbolic resources, by demanding a presumption in favor of personal transformation – thereby, undermining the social conditions for disability pride. (shrink)

This chapter argues that standard accounts of health are ill-suited to constructing a plausible theory of health justice, particularly a sufficientarian theory. The problem in these accounts is revealed by their treatment of disability. Theorists of health justice need to define “health” more narrowly to capture the legitimate claims of people with disabilities. Following Ronald Amundson and Peter Hucklenbroich, this chapter proposes such a definition. Health, as defined in this chapter, is the absence of conditions that directly cause, or threaten (...) to directly cause, certain kinds of bodily harm, such as pain and premature death. It is concluded that on a plausible sufficientarian theory of health justice, a society that achieves health justice is one that ensures that none of its members face too much of those kinds of bodily harm. (shrink)